منابع مشابه
Fair Model Checking with Process Counter Abstraction
Parameterized systems are characterized by the presence of a large (or even unbounded) number of behaviorally similar processes, and they often appear in distributed/concurrent systems. A common state space abstraction for checking parameterized systems involves not keeping track of process identifiers by grouping behaviorally similar processes. Such an abstraction, while useful, conflicts with...
متن کاملFair Testing Revisited: A Process-Algebraic Characterisation of Conflicts
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. ...
متن کاملCommunity projects: an experimental analysis of a fair implementation process
We define and experimentally test a public provision mechanism that 7 meets three basic ethical requirements and allows community members to influ8 ence, via monetary bids, which of several projects is implemented. For each project, 9 participants are assigned personal values, which can be positive or negative. We 10 provide either public or only private information about personal values. This ...
متن کاملf/sla from learner perspectives: a social activity or a cognitive process
in the past couple of decades sociocultural theory of sla and its implications in efl contexts have attracted attentions of research circles worldwide and aroused some controversies. firth and wagner (1997) have questioned the principles of the cognitive view which gives importance to mental constructs in favor of sociocultural view which highlights social and contextual constructs. but if soci...
15 صفحه اولA traceable optimistic fair exchange protocol in the standard model
An Optimistic Fair Exchange (OFE) protocol is a good way for two parties to exchange their digital items in a fair way such that at the end of the protocol execution, both of them receive their items or none of them receive anything. In an OFE protocol there is a semi-trusted third party, named arbitrator, which involves in the protocol if it is necessary. But there is a security problem when a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Dental Journal
سال: 2009
ISSN: 0007-0610,1476-5373
DOI: 10.1038/sj.bdj.2009.362